DESIgner specs

New specs for arteriovenous identity.

In this issue of Blood, Aranguren et al. provide new insights into the molecular mechanisms that determine the identity of human endothelial cells: i.e., will they line arteries or veins? The findings have implications in our understanding of vascular disease and in the design of vascular-specific therapies and tissue engineering.

SAT-Based Synthesis Methods for Safety Specs

Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often implemented with Binary Decision Diagrams (BDDs), inheriting their scalability limitations. Instead of BDDs, we propose several new methods to synthesize finite-state systems from safety specifications using decision procedures for...

UCI SPECS Program on Prostate Cancer Year 4 July 1 , 2008 - June 30 , 2009 SPECS “ Strategic Partners for the Evaluation of Predictive Signatures of Prostate Cancer ” SPECS

SPECS: Secure and Privacy Enhancing Communications Schemes for VANETs

Vehicular ad hoc network (VANET) is an emerging type of networks which facilitates vehicles on roads to communicate for driving safety. The basic idea is to allow arbitrary vehicles to broadcast ad hoc messages (e.g. traffic accidents) to other vehicles. However, this raises the concern of security and privacy. Messages should be signed and verified before they are trusted while the real identi...

SPECS SurfaCE NaNo aNalySiS GmbH - a Story of CoNStaNt iNNovatioN